A Formal Analysis of the Mimblewimble Cryptocurrency Protocol

Mimblewimble (MW) is a privacy-oriented cryptocurrency technology that provides security and scalability properties distinguish it from other protocols of its kind. We present discuss those outline the basis model-driven verification approach to address certification correctness protocol implementations. In particular, we propose an idealized model key in described process, identify precisely state [Review 2]sufficientthe conditions for our ensure relevant MW. Since MW built on top consensus protocol, develop Z specification one such excerpt prototype after specification. This can be used as executable model. 3]where simulations run allows us analyze behavior without having implement low level programming language. Finally, Grin Beam implementations their current development.